An Andersonian Deontic Logic with Contextualized Sanctions
نویسندگان
چکیده
We present a refinement of Anderson’s reduction of deontic logic to modal logic with only alethic modalities. The refined proposal contextualizes the Andersonian sanction constant s by replacing it with a unary sanction operator S that is dependent on the concrete normative requirement that is violated. A formula SB is then for instance interpreted as “B causes a sanction” or as “B provides a reason for (the applicability of) a sanction”. Due to its modified sanction operator, the resulting logic DSL invalidates some instances of the inheritance principle. This gives rise to new interesting features. For instance, DSL consistently allows for the presence of conflicting obligations. Moreover, it provides novel insights in various central ‘paradoxes’ in deontic logic such as the Ross paradox, the paradox of the good Samaritan, and Forrester’s ‘gentle murderer’ paradox.
منابع مشابه
Andersonian Deontic Logic, Propositional Quantification, and Mally
We present a new axiomatization of the deontic fragment of Anderson’s relevant deontic logic, give an Andersonian reduction of a relevant version of Mally’s deontic logic previously discussed in this journal, study the effect of adding propositional quantification to Anderson’s system, and discuss the meaning of Anderson’s propositional constant in a wide range of Andersonian deontic systems.
متن کاملAgential obligation as non-agential personal obligation plus agency
I explore various ways of integrating the framework for predeterminism, agency, and ability in [P. McNamara, Nordic J. Philos. Logic 5 (2) (2000) 135] with a framework for obligations. However, the agential obligation operator explored here is defined in terms of a non-agential yet personal obligation operator and a non-deontic (and non-normal) agency operator. This is contrary to the main curr...
متن کاملCharacterising Deadlines in Temporal Modal Defeasible Logic
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the following parameters: deontic operator, maintenance or achievement, presence or absence of sanctions, and persistence after the deadline. The deadline types are illustrated by a set of examples.
متن کاملIntroducing Exclusion Logic as a Deontic Logic
This paper introduces Exclusion Logic a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.
متن کاملMally's Deontic Logic: Reducibility and Semantics
We discuss three aspects of the intuitionistic reformulation of Mally’s deontic logic that was recently proposed (Journal of Philosophical Logic (2013) 42:635–641). First, this reformulation is more similar to Standard Deontic Logic than appears at first sight: like Standard Deontic Logic, it is Kanger reducible and Anderson reducible to alethic logic and it has a semantical interpretation that...
متن کامل